منابع مشابه
An Imperative , First - Order Calculus withObject
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simpliies the language presented in 17] in that, like C++ and Java, it chooses to support an imperative semantics instead of method specialization. We show how Java-style classes and \mixins" may be coded in this calculus, prove a...
متن کاملFirst-Class Functions in an Imperative World
First-class functions are a hallmark of functional languages, but they are a useful concept in imperative languages, too. Even ANSI C offers a restricted form of first-class functions (in the form of pointers to functions), and several more recent imperative languages, such as Python 3, Go, Lua, and Swift, offer first-class, anonymous functions with lexical scoping. In most imperative languages...
متن کاملSimulation-based medical education: an ethical imperative.
Medical training must at some point use live patients to hone the skills of health professionals. But there is also an obligation to provide optimal treatment and to ensure patients' safety and well-being. Balancing these 2 needs represents a fundamental ethical tension in medical education. Simulation-based learning can help mitigate this tension by developing health professionals' knowledge, ...
متن کاملTransforming healthcare: a safety imperative.
Ten years ago, the Institute of Medicine reported alarming data on the scope and impact of medical errors in the US and called for national efforts to address this problem. While efforts to improve patient safety have proliferated during the past decade, progress toward improvement has been frustratingly slow. Some of this lack of progress may be attributable to the persistence of a medical eth...
متن کاملAn Imperative, First-Order Calculus with Object Extension
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language presented in [17] in that, like C++ and Java, it chooses to support an imperative semantics instead of method specialization. We show how Java-style classes and “mixins” may be coded in this calculus, prove...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Surgical Simulation
سال: 2018
ISSN: 2051-7726
DOI: 10.1102/2051-7726.2018.0011